Program logic

Results: 2056



#Item
21Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

Add to Reading List

Source URL: i12www.iti.kit.edu

- Date: 2009-01-05 04:34:04
    22A Program Transformation for Tracing Functional Logic Computations? Bernd Brassel, Sebastian Fischer, and Frank Huch Institute of Computer Science University of Kiel, 24098 Kiel, Germany {bbr,sebf,fhu}@informatik.uni-kie

    A Program Transformation for Tracing Functional Logic Computations? Bernd Brassel, Sebastian Fischer, and Frank Huch Institute of Computer Science University of Kiel, 24098 Kiel, Germany {bbr,sebf,fhu}@informatik.uni-kie

    Add to Reading List

    Source URL: www-ps.informatik.uni-kiel.de

    - Date: 2014-06-15 10:44:21
      23People-Focused Program Logic Two day workshop Monday 19th and Tuesday 20th of SeptemberNo more log frames!!

      People-Focused Program Logic Two day workshop Monday 19th and Tuesday 20th of SeptemberNo more log frames!!

      Add to Reading List

      Source URL: www.mande.co.uk

      - Date: 2008-04-18 03:29:05
        24Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

        Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2014-03-02 08:55:00
          25Logic Program Specialisation With Deletion of Useless Clauses 1 D.A. de Waal J.P. Gallagher

          Logic Program Specialisation With Deletion of Useless Clauses 1 D.A. de Waal J.P. Gallagher

          Add to Reading List

          Source URL: repository.readscheme.org

          - Date: 2010-10-22 08:05:11
            26Alameda County, CA, Getting the Most Out of Life Program 2013 Logic Model Ultimate Result: Reduce Suffering and Improve Quality of Life for Terminally Ill Residents of Alameda County through Hospice Utilization Key Strat

            Alameda County, CA, Getting the Most Out of Life Program 2013 Logic Model Ultimate Result: Reduce Suffering and Improve Quality of Life for Terminally Ill Residents of Alameda County through Hospice Utilization Key Strat

            Add to Reading List

            Source URL: theconversationproject.org

            - Date: 2015-06-05 14:01:01
              27How to Backup and Restore in the Membership Program Backup Process The first screen you see when you open the QM Assistant Program, there is list of functions on the left, go down to “System Utilities” click that, a

              How to Backup and Restore in the Membership Program Backup Process The first screen you see when you open the QM Assistant Program, there is list of functions on the left, go down to “System Utilities” click that, a

              Add to Reading List

              Source URL: www.master-logic.com

              - Date: 2012-07-23 18:36:04
                28Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs MICHAEL LEUSCHEL, BERN MARTENS, and DANNY DE SCHREYE Katholieke Universiteit Leuven Given a program and some input data, partial

                Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs MICHAEL LEUSCHEL, BERN MARTENS, and DANNY DE SCHREYE Katholieke Universiteit Leuven Given a program and some input data, partial

                Add to Reading List

                Source URL: repository.readscheme.org

                - Date: 2010-10-22 08:06:01
                  29Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

                  Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

                  Add to Reading List

                  Source URL: i12www.iti.kit.edu

                  - Date: 2010-06-24 07:51:38
                    30Delray Beach CRA - Logic Model - Instructions Simply put, a Logic Model is a graphic presentation to demonstrate how program/project activities deliver immediate products and services (outputs), which result in shorter t

                    Delray Beach CRA - Logic Model - Instructions Simply put, a Logic Model is a graphic presentation to demonstrate how program/project activities deliver immediate products and services (outputs), which result in shorter t

                    Add to Reading List

                    Source URL: delraycra.org

                    - Date: 2016-05-25 17:25:19